Proof of work: what is it, and how does it figure into bitcoin halving?